Logics of preference when there is no best

Well-behaved preferences (e.g., total pre-orders) are a cornerstone of several areas in artificial intelligence, from knowledge representation, where preferences typically encode likelihood comparisons, to both game and decision theories, where preferences typically encode utility comparisons. Yet weaker (e.g., cyclical) structures of comparison have proven important in a number of areas, from argumentation theory to tournaments and social choice theory. In this paper we provide logical foundations for reasoning about this type of preference structures where no obvious best elements may exist. Concretely, we compare and axiomatize a number of ways in which the concepts of maximality and optimality can be lifted to this general class of preferences. In doing so we expand the scope of the long-standing tradition of the logical analysis of preference

Second-order propositional modal logic: expressiveness and completeness results

In this paper we advance the state-of-the-art on the application of second-order propositional modal logic (SOPML) in the representation of individual and group knowledge, as well as temporal and spatial reasoning. The main theoretical contributions of the paper can be summarised as follows. Firstly, we introduce the language of (multi-modal) SOPML and interpret it on a variety of different classes of Kripke frames according to the features of the accessibility relations and of the algebraic structure of the quantification domain of propositions. We provide axiomatisations for some of these classes, and show that SOPML is unaxiomatisable on the remaining classes. Secondly, we introduce novel notions of (bi)simulations and prove that they indeed preserve the interpretation of formulas in (the universal fragment of) SOPML. Then, we apply this formal machinery to study the expressiveness of Second-order Propositional Epistemic Logic (SOPEL) in representing higher-order knowledge, i.e., the knowledge agents have about other agents’ knowledge, as well as graph-theoretic notions (e.g., 3-colorability, Hamiltonian paths, etc.). The final outcome is a rich formalism to represent and reason about relevant concepts in artificial intelligence, while still having a model checking problem that is no more computationally expensive than that of the less expressive quantified boolean logic

First measurement of coherent ρ0 photoproduction in ultra-peripheral Xe–Xe collisions at √sNN = 5.44 TeV

The first measurement of the coherent photoproduction of ρ0 vector mesons in ultra-peripheral Xe–Xe collisions at sNN=5.44 TeV is presented. This result, together with previous HERA γp data and γ–Pb measurements from ALICE, describes the atomic number (A) dependence of this process, which is particularly sensitive to nuclear shadowing effects and to the approach to the black-disc limit of QCD at a semi-hard scale. The cross section of the Xe+Xe→ρ0+Xe+Xe process, measured at midrapidity through the decay channel ρ0→π+π−, is found to be dσ/dy=131.5±5.6(stat.)−16.9+17.5(syst.) mb. The ratio of the continuum to resonant contributions for the production of pion pairs is also measured. In addition, the fraction of events accompanied by electromagnetic dissociation of either one or both colliding nuclei is reported. The dependence on A of cross section for the coherent ρ0 photoproduction at a centre-of-mass energy per nucleon of the γA system of WγA,n=65 GeV is found to be consistent with a power-law behaviour σ(γA→ρ0A)∝Aα with a slope α=0.96±0.02(syst.). This slope signals important shadowing effects, but it is still far from the behaviour expected in the black-disc limit.publishedVersio

A(c)(+) Production and Baryon-to-Meson Ratios in pp and p-Pb Collisions at root S-NN=5.02 TeV at the LHC

The prompt production of the charm baryon \u39bc+ and the \u39bc+/D0 production ratios were measured at midrapidity with the ALICE detector in pp and p-Pb collisions at sNN=5.02 TeV. These new measurements show a clear decrease of the \u39bc+/D0 ratio with increasing transverse momentum (pT) in both collision systems in the range 2<12 GeV/c, exhibiting similarities with the light-flavor baryon-to-meson ratios p/\u3c0 and \u39b/KS0. At low pT, predictions that include additional color-reconnection mechanisms beyond the leading-color approximation, assume the existence of additional higher-mass charm-baryon states, or include hadronization via coalescence can describe the data, while predictions driven by charm-quark fragmentation processes measured in e+e- and e-p collisions significantly underestimate the data. The results presented in this Letter provide significant evidence that the established assumption of universality (colliding-system independence) of parton-to-hadron fragmentation is not sufficient to describe charm-baryon production in hadronic collisions at LHC energies

A(c)(+) Production and Baryon-to-Meson Ratios in pp and p-Pb Collisions at root S-NN=5.02 TeV at the LHC

The prompt production of the charm baryon Λ_{c}^{+} and the Λ_{c}^{+}/D^{0} production ratios were measured at midrapidity with the ALICE detector in pp and p-Pb collisions at sqrt[s_{NN}]=5.02  TeV. These new measurements show a clear decrease of the Λ_{c}^{+}/D^{0} ratio with increasing transverse momentum (p_{T}) in both collision systems in the range 2<p_{T}<12  GeV/c, exhibiting similarities with the light-flavor baryon-to-meson ratios p/π and Λ/K_{S}^{0}. At low p_{T}, predictions that include additional color-reconnection mechanisms beyond the leading-color approximation, assume the existence of additional higher-mass charm-baryon states, or include hadronization via coalescence can describe the data, while predictions driven by charm-quark fragmentation processes measured in e^{+}e^{-} and e^{-}p collisions significantly underestimate the data. The results presented in this Letter provide significant evidence that the established assumption of universality (colliding-system independence) of parton-to-hadron fragmentation is not sufficient to describe charm-baryon production in hadronic collisions at LHC energies

Fully Arbitrary Public Announcements

In Arbitrary Public Announcement Logic (APAL) an operator is □used. The intended meaning of □ℓis "for every ϵ we have [ϵ]ℓ." However, for technical reasons the semantics of APAL do not entirely match the intended meaning: in APAL the formula □ℓholds if and only if for every □free we have [ϵ].ℓ Here we introduce Fully Arbitrary Public Announcement Logic (F-APAL), where the semantics do match the intended meaning: in F-APAL the formula □ℓholds if and only if for every we have [ϵ]ℓ